Basic science - PDFSEARCH.IO - Document Search Engine

Basic science
Results: 4014

#	Item
691	BRICS Basic Research in Computer Science BRICS RSAceto et al.: 2-Nested Simulation is not Finitely Equationally Axiomatizable 2-Nested Simulation is not Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-09-06 03:22:49 Applied mathematics Mathematical logic Order theory Logic in computer science Metalogic Model theory Equational logic Simulation preorder Preorder Mathematics Logic Theoretical computer science
692	BRICS RSAceto & Ing´olfsd´ottir: The Saga of the Axiomatization of Parallel Composition BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-07-04 18:40:22 Process calculus Algebra Bisimulation Model theory Operator Mathematics Theoretical computer science Algebraic structures
693	BRICS RSKrukow et al.: A Framework for Concrete Reputation-Systems BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-08-08 07:50:05 Electronic commerce Online shopping EBay BRIC Ambient intelligence Browse Trust Feedback Time Science Ethology Knowledge
694	Beyond Basic Faceted Search Ori Ben-Yitzhak1 Nadav Golbandi1 Nadav Har’El1 Ronny Lempel2 3 Add to Reading List Source URL: www-scf.usc.edu Language: English - Date: 2011-05-24 14:57:38 Online analytical processing Faceted search Full text search Web search query OLAP cube Inverted index Search engine indexing Database management system Subject Information science Information Information retrieval
695	BRICS Basic Research in Computer Science BRICS RSKlarlund et al.: The DSD Schema Language and its Applications The DSD Schema Language and Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-02-19 19:21:26 HTML element Markup languages Technical communication SXML CookXml Computing Knowledge representation Tree
696	Sustainable Urban Mobility for Smart Cities Dr. Kulwant Singh Regional Advisor Urban Basic Services Branch UN-Habitat Add to Reading List Source URL: www.iru.org Language: English Science Sustainable transport Environmental social science Demography Environmentalism Urbanization Urban sprawl Urban planning Sustainability Environment Urban studies and planning Human geography
697	BRICS Basic Research in Computer Science BRICS RST. S. Hune: Modeling a Language for Embedded Systems in Timed Automata Modeling a Language for Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-08-04 07:20:49 Embedded system RCX Electronics Robot kits Lego Mindstorms Robotics
698	Bulled emailed by different people .------------------------------------------------------------------------------------------------------------------ Larry Smith For my bullets I would propose two basic measurement goal Add to Reading List Source URL: www.cryocity.org Language: English - Date: 2015-02-27 13:26:11 Science Aquatic ecology Environmental soil science Combinatorics Environmental chemistry Surface runoff Ice core Percolation Uncertainty Water Hydrology Earth
699	BRICS Basic Research in Computer Science BRICS RSBrodal et al.: Finding Maximal Pairs with Bounded Gap Finding Maximal Pairs with Bounded Gap Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-06-28 05:16:54 Suffix tree Tree Binary tree Mathematics Computing Computer programming Scapegoat tree Set theory Maximal pair String
700	BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the Uniform Weak K¨onig’s Lemma On the Uniform Weak K¨onig’s Lemma Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-06-22 09:34:21 Proof theory Computability theory Functions and mappings Reverse mathematics Mathematical proofs Primitive recursive function Gödel–Gentzen negative translation Primitive recursive arithmetic Second-order arithmetic Mathematics Mathematical logic Logic

UPDATE